Formal Methods Laboratory Romanian Academy
نویسندگان
چکیده
The paper presents a method of reasoning about the behavior of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency. 1Head of Formal Methods Laboratory (FML) 2Contact person
منابع مشابه
Romanian Academy FML Technical Report TR no . FML - 12 - 02 Printed
Continuation Semantics for Asynchronous Concurrency G.Ciobanu and E.N.Todoran Approved for public release; further dissemination unlimited. Prepared by Formal Methods Laboratory. Series of Technical Reports (Institute of Computer Science Iaşi) ISSN 1842 1490 FML is the Formal Methods Laboratory from the Institute of Computer Science of the Romanian Academy and is located in Iaşi. It is a resear...
متن کاملSecond Harmonic Generation Diagnostic of Layer by Layer Deposition from Disperse Red 1–Functionalized Maleic Anhydride Copolymer
Layer-by-layer (LBL) electrostatic assembly of poly-electrolytes is proving to be an increasingly rich and versatile technique for the formation of multilayered thin films with a wide range of electrical, magnetic, and optical properties. In the present work we synthesized a new nonlinear optical (NLO) maleic acid copolymer containing Disperse Red 1 moieties, built-up multilayer assemblies by a...
متن کاملEvaluating Long Term Impacts Of Internet Training In An Academic Setting: The Romanian Internet Academy
The diffusion of Information Technology (IT) depends on good training--but the results of training are difficult to measure. Whether the focus is the student, the businessman or woman, mechanic, manager or researcher-the simple act of delivering training in a specific technology has little effect-it must be leveraged through careful practice and repeated use. Most of the research on Internet tr...
متن کاملThe Significance of A Neglected Romanian Book - "The Methods of the Clinical Laboratory", by Ioan Manta and Alexandru Ciplea.
"The Methods of Clinical Laboratory" was the first comprehensive Romanian book in the medical laboratory field, having utility in clinical practice. It was written by Prof. Ioan Manta (1900-1979) and Alexandru Ciplea (1912-1988), both from the Cluj Faculty of Medicine. The volume was published for the first time in 1944, during the refuge of this Faculty in Sibiu, and for the second time in 194...
متن کاملMemories of Nicolae Cajal – an emblematic personality of the Romanian Academy of Medical Sciences
The Romanian Academy of Medical Sciences is the institution that includes the elite of the Romanian medical and pharmaceutical professionals. This is an article of recollection of one of the most outstanding presidents of the Romanian Academy of Medical Sciences, Nicolae Cajal. A distinguished scientist, Cajal accepted not only the task of president of this forum, but was also involved in socia...
متن کامل